Hilbert's epsilon as an operator of indefinite committed choice
نویسندگان
چکیده
منابع مشابه
Hilbert ’ s epsilon as an Operator of Indefinite Committed Choice
Paul Bernays and David Hilbert carefully avoided overspecification of Hilbert’s ε-operator and axiomatized only what was relevant for their proof-theoretic investigations. Semantically, this left the ε-operator underspecified. In the meanwhile, there have been several suggestions for semantics of the ε as a choice operator. After reviewing the literature on semantics of Hilbert’s epsilon operat...
متن کاملHilbert's epsilon as an operator of indefinite committed choice
Paul Bernays and David Hilbert carefully avoided overspecification of Hilbert’s ε-operator and axiomatized only what was relevant for their proof-theoretic investigations. Semantically, this left the ε-operator underspecified. In the meanwhile, there have been several suggestions for semantics of the ε as a choice operator. After reviewing the literature on semantics of Hilbert’s epsilon operat...
متن کاملA Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
Free variables occur frequently in mathematics and computer science with ad hoc and altering semantics. We present here the most recent version of our free-variable framework for two-valued logics with properly improved functionality, but only two kinds of free variables left (instead of three): implicitly universally and implicitly existentially quantified ones, now simply called “free atoms” ...
متن کاملA Note on Hilberts Operator
LEMMA L 1 When Kp< oo, then &fis a continuous (bounded) linear transformation with both domain and range Lp( — <*> , oo ), and § 2 / = — ƒ. LEMMA 2. Whenf(t)ÇzLi(— <*>, oo), then §ƒ exists for almost all x in ( — oo , co ), but does not necessarily belong to Li(a, b), where a, b are arbitrary numbers(— oo ^a<b^ oo) ; however (l+x)~\ &f\ÇzLi(— oo , co) when 0<q<l. When f and ^f belong to Li(— oo...
متن کاملAn Indefinite Convection-Diffusion Operator
We give a mathematically rigorous analysis which confirms the surprising results in a recent paper [2] of Benilov, O’Brien and Sazonov about the spectrum of a highly singular non-self-adjoint operator that arises in a problem in fluid mechanics. MSC-class: 34Lxx, 76Rxx, 65F15, 65Q05 keywords: spectrum, non-self-adjoint, fluid mechanics, pseudospectra, eigenvalue, basis.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2008
ISSN: 1570-8683
DOI: 10.1016/j.jal.2007.07.009